symmetric and transitive but not reflexive